1. Expectation for 4K･8K Broadcasting

Semiclassical expectation values for relativistic particles with spin 1 / 2

For relativistic particles with spin 1/2, which are described by the Dirac equation, a semiclassical trace formula is introduced that incorporates expectation values of observables in eigenstates of the Dirac-Hamiltonian. Furthermore, the semiclassical limit of an average of expectation values is expressed in terms of a classical average of the corresponding classical observable. E-mail address...

Session Types for Broadcasting

Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure send/receive duality. In this paper we define a session type theory for broadcast communication semantics that by definition do not assume point to point and reliable communication. Our session framework lies on top of ...

A Study on Preference Orderings of Mathematical expectation, Expected Utility and Distorted Expectation

One of the challenges for decision-makers in insurance and finance is choosing the appropriate criteria for making decisions. Mathematical expectation, expected utility, and distorted expectation are the three most common measures in this area. In this article, we study these three criteria, and by providing some examples, we review and compare the decisions made by each measure.

CRITERIA Approaching Expectation Meeting Expectation Exceeding Expectation Speech

Testing Theories for Broadcasting Processes

This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to bisimulations for broadcasting calculi. Then, we remind CBS without message passing and bπ-calculus, and we adapt the definitions of may testing and must testing in the framework of broadcasting calculi. Finally, we gi...